A Methodology for Hardware and Software Availability Analysis
نویسندگان
چکیده
منابع مشابه
A methodology for hardware-software codesign
Special purpose hardware is vital to embedded systems as it can simultaneously improve performance while reducing power consumption. The integration of special purpose hardware into applications running in software is difficult for a number of reasons. Some of the difficulty is due to the difference between the models used to program hardware and software, but great effort is also required to c...
متن کاملVerification Methodology for Heterogeneous Hardware/Software Systems
Modern electronic systems are constituted by heterogeneous elements, e.g. hardware/software, and are typically embedded. The complexity of this kind of systems is such, that traditional validation techniques, like simulation and testing, are not enough to verify the correctness of these systems. In consequence, new formal verification techniques that overcome the limitations of traditional vali...
متن کاملDESC: A Hardware-Software Codesign Methodology for Distributed Embedded Systems
The hardware-software codesign of distributed embedded systems is a more challenging task, because each phase of codesign, such as copartitioning, cosynthesis, cosimulation, and coverification must consider the physical restrictions imposed by the distributed characteristics of such systems. Distributed systems often contain several similar parts for which design reuse techniques can be applied...
متن کاملTutorial on Hardware and Software Reliability, Maintainability, and Availability
Description: Computer systems, whether hardware or software, are subject to failure. Precisely, what is a failure? It is defined as: The inability of a system or system component to perform a required function within specified limits. Afailure may be produced when a fault is encountered and a loss of the expected service to the user results [IEEE/AIAA P1633]. This brings us to the question of w...
متن کاملAvailability Analysis For Heterogeneous Nucleation In A Uniform Electric Field
Industrial demands for more compact heat exchangers are a motivation to find new technology features. Electrohydrodynamics (EHD) is introduced as a promising phenomenon for heat transfer enhancement mechanisms. Similar to any new technology, EHD has not been understood completely yet and requires more fundamental studies. In boiling phase change phenomena, nucleation is the dominant mechanism i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1976
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/19.2.132